home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Collection of Tools & Utilities
/
Collection of Tools and Utilities.iso
/
batchut
/
tsbat30.zip
/
POPDIRE.BAT
< prev
next >
Wrap
DOS Batch File
|
1990-01-14
|
590b
|
27 lines
echo off
echo Nonresident popdir (Restores the pushed directory)
echo By Prof. Timo Salmi, ts@chyde.uwasa.fi, 14-Jan-90
echo.
rem It is advisable to have popdire.bat at path
rem See pushdire.bat for more instructions
if "%pushdriv%"=="" goto _err
if "%pushdire%"=="" goto _err
%pushdriv%
cd %pushdire%
cd
goto _out
:_err
echo Error: No direcectory name has been pushed!
goto _out
rem The commands below release the relevant environment variables
rem If you omit them, popdire can be used without pushdire in between
:_out
set pushdriv=
set pushdire=
echo on